<?php
session_start();
$docente = unserialize($_SESSION['usuario']);
if($docente == NULL)
    header( 'Location: index.php' );
?>
